Window: Remove extra_input_region API
authorTimm Bäder <mail@baedert.org>
Wed, 20 May 2020 07:09:34 +0000 (09:09 +0200)
committerTimm Bäder <mail@baedert.org>
Wed, 20 May 2020 15:06:54 +0000 (17:06 +0200)
commitb41838a7fd5f63302845bd845486bb390558e7ea
tree423890651265954027c0bf5196c0272099b4c870
parent5ebabd7cf6f6fa0f692c116d0a4b74457b04516b
Window: Remove extra_input_region API

This is unused.
gtk/gtkwindow.c
gtk/gtkwindowprivate.h